	.file	"s7.proc.c"
	.text
	.globl	proc
	.def	proc;	.scl	2;	.type	32;	.endef
	.seh_proc	proc
proc:
	.seh_endprologue
    /*
    long    a1  in %ecx     (32 bits)
    long*   a1p in %rdx     (64 bits)
    int     a2  in %r8d     (32 bits)
    int*    a2p in %r9      (64 bits)
    short   a3  in %rsp+40  (32 bits)
    short*  a3p in %rsp+48  (64 bits)
    char    a4  at %rsp+56  ( 8 bits)
    char*   a4p at %rsp+64  (64 bits)
    */ 
	movl	%ecx, %r10d     // mov a1 
	movq	%rdx, %rcx      // mov a1p
	movq	48(%rsp), %rdx  // fetch a3p(64 bits)
	movq	64(%rsp), %rax  // fetch a4p(64 bits)
	addl	%r10d, (%rcx)   // *a1p += a1
	addl	%r8d, (%r9)     // *a2p += a2
	movl	40(%rsp), %ecx  // fetch a3
	addw	%cx, (%rdx)     // *a3p += a3
	movl	56(%rsp), %edx  // fetch a4(8 bits)
	addb	%dl, (%rax)     // *a4p += a4
	ret
	.seh_endproc
	.ident	"GCC: (MinGW-W64 x86_64-ucrt-posix-seh, built by Brecht Sanders, r8) 13.2.0"
